well-formed program造句

• A conforming implementation may have extensions ( including additional library functions ) , provided they do not alter the behavior of any well - formed program
  符合标准的实现可以带有扩展（包括附加的库功能） ，只要这些扩展不会改变任何完备程序的行为。
• A conforming implementation may have extensions ( including additional library functions ) , provided they do not alter the behavior of any well - formed program
  只要这些扩展不会改变任何良好形式程序的行为，符合标准的实现就可以带有扩展（包括附加的库功能） 。
• A conforming implementation executing a well - formed program shall produce the same observable behavior as one of the possible execution sequences of the corresponding instance of the abstract machine with the same program and the same input
  当一个符合标准的实现执行一个完备的程序时，其产生的可观察行为应该与该实现的抽象机器对应实例依据同一程序和同一输出产生的可能执行序列之一相同。